Knihy od autora Gerwin Klein

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Interactive Theorem Proving

   Gerwin Klein, Ruben Gamboa | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1315 Kč

   Koupit
3. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1843 Kč

   Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více